IBM T. J. Watson Research Centre - Conversational Multi modal computing, Mobile speech solutions, Speech recognition, Signal Processing, Pattern Recognition

The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.

Stanford University - Syntax, computational linguistics.

Universitat Politècnica de Catalunya - Integrity constraints, temporal databases, deductive databases.

University of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus.

University of Salzburg - Natural computation, image processing, parallel computation, software engineering, and robotics.

University of Sussex - Shallow parsing, semantic tagging, natural language processing.

School of Cognitive and Computing Sciences, University of Sussex - Semantics of programming languages.

Indian Institute of Technology, Bombay - Information Appliances, Electronic Commerce, Java Security, Parallel Computing

University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus.